proof proceeded